$\forall$$k$:Knd. isrcv($k$) $\Rightarrow$ $k$ $=$ rcv(lnk($k$),tag($k$))